『Category Theory for Computing Science』
M. Barr and C. Wells, Category Theory for Computing Science, 1998
Category Theory for Computing Science
Category Theory for Computing Science
確認用
Q.
#論文読み
#論文
#文献